import os
import re

or_file = open('/data/KT_ODOM_00/timestamps.txt', 'r')
tm_file = open('/data/KRL/timestamps.txt', 'w')

i = 0
for line in or_file.readlines()[:4537:4]:
    i+=1
    tm_file.write(line)

print(i)
    
